<html>
<head><meta charset="utf-8"><title>CI cronjobs with email notifications · t-infra · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/index.html">t-infra</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html">CI cronjobs with email notifications</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="220569063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569063">(Dec 21 2020 at 10:09)</a>:</h4>
<p>Dear infra team,<br>
Miri used to have a daily cronjob that checks if everything still works when building and testing Miri against rustc master. (That test suite is slightly more expansive than what is tested as part of rustc CI.) With the move to GHA, that cronjob still exists but there are no email notifications when the job fails. Looks like GHA <a href="https://github.community/t/no-email-notification-on-schedule-cron-job-failure/119638">does not support notifications for cronjobs</a> except by manually talking to an SMTP server as part of the job (a pretty serious regression compared to other services if you ask me). The same issue also applies to <a href="https://github.com/RalfJung/miri-test-libstd">miri-test-libstd</a>, which I left on Travis for that reason, but I think I ran out of free minutes now (though I am not sure, the dashboard where it's supposed to tell me is buggy and all the numbers are missing).</p>
<p>Do you know of any way we could have CI cronjobs with email notifications?</p>



<a name="220569153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569153">(Dec 21 2020 at 10:10)</a>:</h4>
<p>does it <em>have</em> to be email?</p>



<a name="220569195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569195">(Dec 21 2020 at 10:11)</a>:</h4>
<p>we could create a zulip stream here on zulip, and have GHA ping y'all there</p>



<a name="220569247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569247">(Dec 21 2020 at 10:12)</a>:</h4>
<p>(the ping would be a simple <code>curl $ZULIP_URL</code> with some parameters for the message text)</p>



<a name="220569313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569313">(Dec 21 2020 at 10:13)</a>:</h4>
<p>Zulip pings lead to email notifications (when I am not logged in, so most of the time) so yes that would also work for me.</p>



<a name="220569377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569377">(Dec 21 2020 at 10:14)</a>:</h4>
<p>I'd prefer if it is email in the end, but how that email comes to be sent I care less about. ;)</p>



<a name="220569402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569402">(Dec 21 2020 at 10:14)</a>:</h4>
<p>GitHub pings would also work</p>



<a name="220569521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569521">(Dec 21 2020 at 10:16)</a>:</h4>
<p>ok, once a zulip stream is created for miri I can create a zulip bot for you and set the webhook url in a gha secret</p>



<a name="220569646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569646">(Dec 21 2020 at 10:18)</a>:</h4>
<p>who can create a miri stream?</p>



<a name="220569677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220569677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220569677">(Dec 21 2020 at 10:18)</a>:</h4>
<p>also for miri-test-libstd I suppose we'd have to move it to the rust-lang org to make use of this?</p>



<a name="220570107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220570107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220570107">(Dec 21 2020 at 10:25)</a>:</h4>
<p>yeah</p>



<a name="220570121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220570121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220570121">(Dec 21 2020 at 10:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120791">RalfJ</span> <a href="#narrow/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications/near/220569646">said</a>:</p>
<blockquote>
<p>who can create a miri stream?</p>
</blockquote>
<p><span class="user-mention silent" data-user-id="116122">simulacrum</span> usually creates them iirc</p>



<a name="220579404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220579404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220579404">(Dec 21 2020 at 12:42)</a>:</h4>
<p>I wonder what the best name for the stream should be... just "miri"? It seems we have "rustdoc", so that would be consistent there. miri is not really closely associated with any of the major teams.</p>



<a name="220580606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220580606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220580606">(Dec 21 2020 at 12:58)</a>:</h4>
<p>created miri</p>



<a name="220580998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220580998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220580998">(Dec 21 2020 at 13:03)</a>:</h4>
<p>thanks :)</p>



<a name="220979416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220979416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220979416">(Dec 26 2020 at 21:15)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> so now that we have a zulip stream, what is the next step to get miri's cron job wired up with that?</p>



<a name="220979457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/220979457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#220979457">(Dec 26 2020 at 21:16)</a>:</h4>
<p>(miri-test-libstd resumed building, but it might be worth moving if y'all think this would be good to have in the rust-lang org)</p>



<a name="221049961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/221049961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#221049961">(Dec 28 2020 at 09:48)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> there are three steps:</p>
<ul>
<li>the repository is moved to the rust-lang org</li>
<li>I create a zulip bot and put its credentials in the github actions secrets</li>
<li>you use the zulip api (with curl or zulip-send) to send messages to that stream: <a href="https://zulip.com/api/send-message">https://zulip.com/api/send-message</a></li>
</ul>



<a name="221065170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/221065170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#221065170">(Dec 28 2020 at 14:44)</a>:</h4>
<p>miri itself is already in the org</p>



<a name="221065178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/221065178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#221065178">(Dec 28 2020 at 14:44)</a>:</h4>
<p>and it has a cronjob as well for which we currently do not get notifications</p>



<a name="221065819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/221065819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#221065819">(Dec 28 2020 at 14:56)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> ok created the ZULIP_BOT_EMAIL and ZULIP_API_TOKEN secrets</p>



<a name="221066975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/221066975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#221066975">(Dec 28 2020 at 15:14)</a>:</h4>
<p>okay. I never worked with GHA secrets before. Are there any examples of how to use them?</p>



<a name="221067272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/221067272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bjorn3 <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#221067272">(Dec 28 2020 at 15:18)</a>:</h4>
<p>An example from <a href="https://docs.github.com/en/free-pro-team@latest/actions/reference/encrypted-secrets">https://docs.github.com/en/free-pro-team@latest/actions/reference/encrypted-secrets</a>:</p>
<div class="codehilite" data-code-language="YAML"><pre><span></span><code><span class="nt">steps</span><span class="p">:</span>
  <span class="p p-Indicator">-</span> <span class="nt">shell</span><span class="p">:</span> <span class="l l-Scalar l-Scalar-Plain">bash</span>
    <span class="nt">env</span><span class="p">:</span>
      <span class="nt">SUPER_SECRET</span><span class="p">:</span> <span class="l l-Scalar l-Scalar-Plain">${{ secrets.SuperSecret }}</span>
    <span class="nt">run</span><span class="p">:</span> <span class="p p-Indicator">|</span>
      <span class="no">example-command "$SUPER_SECRET"</span>
</code></pre></div>



<a name="222283796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/222283796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#222283796">(Jan 11 2021 at 11:08)</a>:</h4>
<p>I landed something (<a href="https://github.com/rust-lang/miri/pull/1667">https://github.com/rust-lang/miri/pull/1667</a>) but didn't get a notification this morning... looks like something is not working.</p>



<a name="222283830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/222283830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#222283830">(Jan 11 2021 at 11:08)</a>:</h4>
<blockquote>
<p><code>/home/runner/work/_temp/09e1f565-c3e7-4e3c-a3b7-5250169e8399.sh: line 1: zulip-send: command not found</code></p>
</blockquote>



<a name="222283856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/222283856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#222283856">(Jan 11 2021 at 11:08)</a>:</h4>
<p>looks like pip doesn't put things onto the path</p>



<a name="222284002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/CI%20cronjobs%20with%20email%20notifications/near/222284002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/CI.20cronjobs.20with.20email.20notifications.html#222284002">(Jan 11 2021 at 11:10)</a>:</h4>
<p>let's see if <code>~/.local/bin/zulip-send</code> works</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>